Optimal. Leaf size=187 \[ \frac{d \text{PolyLog}\left (2,-\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}\right )}{f^2 \sqrt{a^2+b^2}}-\frac{d \text{PolyLog}\left (2,-\frac{b e^{e+f x}}{\sqrt{a^2+b^2}+a}\right )}{f^2 \sqrt{a^2+b^2}}+\frac{(c+d x) \log \left (\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}+1\right )}{f \sqrt{a^2+b^2}}-\frac{(c+d x) \log \left (\frac{b e^{e+f x}}{\sqrt{a^2+b^2}+a}+1\right )}{f \sqrt{a^2+b^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.369, antiderivative size = 187, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 5, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.278, Rules used = {3322, 2264, 2190, 2279, 2391} \[ \frac{d \text{PolyLog}\left (2,-\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}\right )}{f^2 \sqrt{a^2+b^2}}-\frac{d \text{PolyLog}\left (2,-\frac{b e^{e+f x}}{\sqrt{a^2+b^2}+a}\right )}{f^2 \sqrt{a^2+b^2}}+\frac{(c+d x) \log \left (\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}+1\right )}{f \sqrt{a^2+b^2}}-\frac{(c+d x) \log \left (\frac{b e^{e+f x}}{\sqrt{a^2+b^2}+a}+1\right )}{f \sqrt{a^2+b^2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3322
Rule 2264
Rule 2190
Rule 2279
Rule 2391
Rubi steps
\begin{align*} \int \frac{c+d x}{a+b \sinh (e+f x)} \, dx &=2 \int \frac{e^{e+f x} (c+d x)}{-b+2 a e^{e+f x}+b e^{2 (e+f x)}} \, dx\\ &=\frac{(2 b) \int \frac{e^{e+f x} (c+d x)}{2 a-2 \sqrt{a^2+b^2}+2 b e^{e+f x}} \, dx}{\sqrt{a^2+b^2}}-\frac{(2 b) \int \frac{e^{e+f x} (c+d x)}{2 a+2 \sqrt{a^2+b^2}+2 b e^{e+f x}} \, dx}{\sqrt{a^2+b^2}}\\ &=\frac{(c+d x) \log \left (1+\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f}-\frac{(c+d x) \log \left (1+\frac{b e^{e+f x}}{a+\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f}-\frac{d \int \log \left (1+\frac{2 b e^{e+f x}}{2 a-2 \sqrt{a^2+b^2}}\right ) \, dx}{\sqrt{a^2+b^2} f}+\frac{d \int \log \left (1+\frac{2 b e^{e+f x}}{2 a+2 \sqrt{a^2+b^2}}\right ) \, dx}{\sqrt{a^2+b^2} f}\\ &=\frac{(c+d x) \log \left (1+\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f}-\frac{(c+d x) \log \left (1+\frac{b e^{e+f x}}{a+\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f}-\frac{d \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{2 b x}{2 a-2 \sqrt{a^2+b^2}}\right )}{x} \, dx,x,e^{e+f x}\right )}{\sqrt{a^2+b^2} f^2}+\frac{d \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{2 b x}{2 a+2 \sqrt{a^2+b^2}}\right )}{x} \, dx,x,e^{e+f x}\right )}{\sqrt{a^2+b^2} f^2}\\ &=\frac{(c+d x) \log \left (1+\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f}-\frac{(c+d x) \log \left (1+\frac{b e^{e+f x}}{a+\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f}+\frac{d \text{Li}_2\left (-\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f^2}-\frac{d \text{Li}_2\left (-\frac{b e^{e+f x}}{a+\sqrt{a^2+b^2}}\right )}{\sqrt{a^2+b^2} f^2}\\ \end{align*}
Mathematica [A] time = 0.0365069, size = 142, normalized size = 0.76 \[ \frac{d \text{PolyLog}\left (2,\frac{b e^{e+f x}}{\sqrt{a^2+b^2}-a}\right )-d \text{PolyLog}\left (2,-\frac{b e^{e+f x}}{\sqrt{a^2+b^2}+a}\right )+f (c+d x) \left (\log \left (\frac{b e^{e+f x}}{a-\sqrt{a^2+b^2}}+1\right )-\log \left (\frac{b e^{e+f x}}{\sqrt{a^2+b^2}+a}+1\right )\right )}{f^2 \sqrt{a^2+b^2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.054, size = 393, normalized size = 2.1 \begin{align*} -2\,{\frac{c}{f\sqrt{{a}^{2}+{b}^{2}}}{\it Artanh} \left ( 1/2\,{\frac{2\,b{{\rm e}^{fx+e}}+2\,a}{\sqrt{{a}^{2}+{b}^{2}}}} \right ) }+{\frac{dx}{f}\ln \left ({ \left ( -b{{\rm e}^{fx+e}}+\sqrt{{a}^{2}+{b}^{2}}-a \right ) \left ( -a+\sqrt{{a}^{2}+{b}^{2}} \right ) ^{-1}} \right ){\frac{1}{\sqrt{{a}^{2}+{b}^{2}}}}}+{\frac{de}{{f}^{2}}\ln \left ({ \left ( -b{{\rm e}^{fx+e}}+\sqrt{{a}^{2}+{b}^{2}}-a \right ) \left ( -a+\sqrt{{a}^{2}+{b}^{2}} \right ) ^{-1}} \right ){\frac{1}{\sqrt{{a}^{2}+{b}^{2}}}}}-{\frac{dx}{f}\ln \left ({ \left ( b{{\rm e}^{fx+e}}+\sqrt{{a}^{2}+{b}^{2}}+a \right ) \left ( a+\sqrt{{a}^{2}+{b}^{2}} \right ) ^{-1}} \right ){\frac{1}{\sqrt{{a}^{2}+{b}^{2}}}}}-{\frac{de}{{f}^{2}}\ln \left ({ \left ( b{{\rm e}^{fx+e}}+\sqrt{{a}^{2}+{b}^{2}}+a \right ) \left ( a+\sqrt{{a}^{2}+{b}^{2}} \right ) ^{-1}} \right ){\frac{1}{\sqrt{{a}^{2}+{b}^{2}}}}}+{\frac{d}{{f}^{2}}{\it dilog} \left ({ \left ( -b{{\rm e}^{fx+e}}+\sqrt{{a}^{2}+{b}^{2}}-a \right ) \left ( -a+\sqrt{{a}^{2}+{b}^{2}} \right ) ^{-1}} \right ){\frac{1}{\sqrt{{a}^{2}+{b}^{2}}}}}-{\frac{d}{{f}^{2}}{\it dilog} \left ({ \left ( b{{\rm e}^{fx+e}}+\sqrt{{a}^{2}+{b}^{2}}+a \right ) \left ( a+\sqrt{{a}^{2}+{b}^{2}} \right ) ^{-1}} \right ){\frac{1}{\sqrt{{a}^{2}+{b}^{2}}}}}+2\,{\frac{de}{{f}^{2}\sqrt{{a}^{2}+{b}^{2}}}{\it Artanh} \left ( 1/2\,{\frac{2\,b{{\rm e}^{fx+e}}+2\,a}{\sqrt{{a}^{2}+{b}^{2}}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.54519, size = 1127, normalized size = 6.03 \begin{align*} \frac{b d \sqrt{\frac{a^{2} + b^{2}}{b^{2}}}{\rm Li}_2\left (\frac{a \cosh \left (f x + e\right ) + a \sinh \left (f x + e\right ) +{\left (b \cosh \left (f x + e\right ) + b \sinh \left (f x + e\right )\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} - b}{b} + 1\right ) - b d \sqrt{\frac{a^{2} + b^{2}}{b^{2}}}{\rm Li}_2\left (\frac{a \cosh \left (f x + e\right ) + a \sinh \left (f x + e\right ) -{\left (b \cosh \left (f x + e\right ) + b \sinh \left (f x + e\right )\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} - b}{b} + 1\right ) +{\left (b d e - b c f\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} \log \left (2 \, b \cosh \left (f x + e\right ) + 2 \, b \sinh \left (f x + e\right ) + 2 \, b \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} + 2 \, a\right ) -{\left (b d e - b c f\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} \log \left (2 \, b \cosh \left (f x + e\right ) + 2 \, b \sinh \left (f x + e\right ) - 2 \, b \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} + 2 \, a\right ) +{\left (b d f x + b d e\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} \log \left (-\frac{a \cosh \left (f x + e\right ) + a \sinh \left (f x + e\right ) +{\left (b \cosh \left (f x + e\right ) + b \sinh \left (f x + e\right )\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} - b}{b}\right ) -{\left (b d f x + b d e\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} \log \left (-\frac{a \cosh \left (f x + e\right ) + a \sinh \left (f x + e\right ) -{\left (b \cosh \left (f x + e\right ) + b \sinh \left (f x + e\right )\right )} \sqrt{\frac{a^{2} + b^{2}}{b^{2}}} - b}{b}\right )}{{\left (a^{2} + b^{2}\right )} f^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{d x + c}{b \sinh \left (f x + e\right ) + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]